Hybrid rice

Results: 110



#Item
21Formal Methods in System Design manuscript No. (will be inserted by the editor) Hybrid Systems: From Verification to Falsification by Combining Motion Planning and Discrete Search Erion Plaku · Lydia E. Kavraki · Moshe

Formal Methods in System Design manuscript No. (will be inserted by the editor) Hybrid Systems: From Verification to Falsification by Combining Motion Planning and Discrete Search Erion Plaku · Lydia E. Kavraki · Moshe

Add to Reading List

Source URL: www.cs.rice.edu

- Date: 2008-09-18 16:43:01
    22Symbolic Systems, Explicit Properties: on Hybrid Approaches for LTL Symbolic Model Checking Roberto Sebastiani1 , Stefano Tonetta2⋆ , and Moshe Y. Vardi3 1

    Symbolic Systems, Explicit Properties: on Hybrid Approaches for LTL Symbolic Model Checking Roberto Sebastiani1 , Stefano Tonetta2⋆ , and Moshe Y. Vardi3 1

    Add to Reading List

    Source URL: www.cs.rice.edu

    Language: English - Date: 2010-08-02 18:12:22
      23To appear in the Proceedings of the 2014 IEEE Intl. Conf. on Robotics and Automation (ICRA2014)  A Sampling-Based Strategy Planner for Nondeterministic Hybrid Systems Morteza Lahijanian, Lydia E. Kavraki, and Moshe Y. Va

      To appear in the Proceedings of the 2014 IEEE Intl. Conf. on Robotics and Automation (ICRA2014) A Sampling-Based Strategy Planner for Nondeterministic Hybrid Systems Morteza Lahijanian, Lydia E. Kavraki, and Moshe Y. Va

      Add to Reading List

      Source URL: www.cs.rice.edu

      Language: English - Date: 2014-07-07 17:04:22
        24Annex 3. Summary of Open Seminar  FNCA 2009 Workshop on Mutation Breeding Project Open Seminar  Hosted by

        Annex 3. Summary of Open Seminar FNCA 2009 Workshop on Mutation Breeding Project Open Seminar Hosted by

        Add to Reading List

        Source URL: www.fnca.mext.go.jp

        Language: English - Date: 2011-03-22 12:06:31
        25The Global Rice Science Partnership (GRiSP), a research program of the CGIAR, represents for the first time ever a single strategic and work plan for global rice research. GRiSP brings together hundreds of scientists to

        The Global Rice Science Partnership (GRiSP), a research program of the CGIAR, represents for the first time ever a single strategic and work plan for global rice research. GRiSP brings together hundreds of scientists to

        Add to Reading List

        Source URL: books.irri.org

        Language: English - Date: 2013-08-29 23:17:32
        26Screened Coulomb Hybrid Density Functionals

        Screened Coulomb Hybrid Density Functionals

        Add to Reading List

        Source URL: scuseria.rice.edu

        Language: English - Date: 2004-04-25 20:26:47
        27International Rice Research Institute (IRRI) IRRI is the world’s premiere research organization dedicated to reducing poverty and hunger through rice science; improving the health and welfare of rice farmers and consum

        International Rice Research Institute (IRRI) IRRI is the world’s premiere research organization dedicated to reducing poverty and hunger through rice science; improving the health and welfare of rice farmers and consum

        Add to Reading List

        Source URL: books.irri.org

        Language: English - Date: 2014-10-26 22:52:31
        28Indonesia and IRRI Key achievements Increased rice yield through development of modern varieties. Average rice yield has increased from 2.4 tons per hectare back in 1972 to about 5 tons per hectare today. IRRI has releas

        Indonesia and IRRI Key achievements Increased rice yield through development of modern varieties. Average rice yield has increased from 2.4 tons per hectare back in 1972 to about 5 tons per hectare today. IRRI has releas

        Add to Reading List

        Source URL: books.irri.org

        Language: English - Date: 2015-02-12 00:54:46
        29Food Staples Sufficiency Program  Food Staples Sufficiency Program Rice research and development

        Food Staples Sufficiency Program Food Staples Sufficiency Program Rice research and development

        Add to Reading List

        Source URL: books.irri.org

        Language: English - Date: 2015-04-05 22:08:36
        30Rice and climate change: significance for food security and vulnerability S. Mohanty, R. Wassmann, A. Nelson, P. Moya, and S.V.K. Jagadish

        Rice and climate change: significance for food security and vulnerability S. Mohanty, R. Wassmann, A. Nelson, P. Moya, and S.V.K. Jagadish

        Add to Reading List

        Source URL: books.irri.org

        Language: English - Date: 2013-11-19 19:43:50